Independence from irrelevant alternatives